We prove that for a natural class of first-order formulas the validity problem is Π p 2 -complete.

Kant describes logic as “the science that exhaustively presents and strictly proves nothing but the formal rules of all thinking”. (Bviii-ix) But what is the source of our cognition of such rules (“logical cognition” for short)? He makes no concerted effort to address this question. It will nonetheless become clear that the question is a philosophically significant one for him, to which he can see three possible answers: those representations are innate, derived from experience, or originally acquired a priori. Although (...) he gives no explicit argument for the third answer, he seems committed to it—especially given his views on the source of pure concepts of the understanding and on the nature of logic. It takes careful preparatory work to gather all the essential materials for motivating and reconstructing Kant’s “original acquisition” account of logical cognition. I shall proceed in two sections. In section 1, I analyze Kant’s argument that pure concepts of the understanding (or intellectual concepts)—as one kind of pure cognition—must be acquired originally and a priori. My analysis partly concerns his varied attitudes toward Crusius’s and Leibniz’s versions of the nativist account of such concepts. I give special attention to how Kant characterizes the nativist account and his own “original acquisition” account in terms of “preformation” and “epigenesis”. My goal is, firstly, to tease out the sense in which Kant grants that there must be an innate ground (or preformation) for the derivation of pure concepts and, secondly, to introduce—and pave the way for answering—the question about the source of logical cognition. In section 2, in light of Kant’s reference to Locke and Leibniz as the greatest reformers of philosophy (including logic) in their times (Log, AA 9: 32), I examine the Lockean and Leibnizian approaches to logic, respectively. Both approaches are “physiological” by Kant’s standard and are directly opposed to his own strictly critical method. I explain how this methodological move shapes Kant’s view that representations of logical rules must be originally acquired a priori. This acquisition involves a kind of radical epigenesis of pure reason: unlike the acquisition of pure concepts, it presupposes no further innate ground (or preformation). This view will have important consequences for issues such as the ground of the normativity of logical rules and the boundaries of their rightful use. (shrink)

The contemporary versions of the ontological argument originated from Charles Hartshorne are formalized proofs (in the metalogical sense of the word) based on unique modal theories. The simplest well-known theory of this kind arises from the system B of modal logic by adding two extra-logical axioms: (AA) “If the perfect being exists, then it necessarily exists” (Anselm’s Axiom) and (AL) “It is possible that the perfect being exists” (Leibniz’s Axiom). In the paper a similar argument is presented, however none of (...) the systems of modal logic is relevant to it. Its only premises are the axiom (AA) and, instead of (AL), the new axiom (AN): “If the perfect being doesn’t exist, it necessarily doesn’t”. The main goal of the work is to prove that (AN) is no more controversial than (AA) and — in consequence — the whole strength of the modal ontological argument lays in the set of its extra-logical premises. In order to do that, three arguments are formulated: ontological, “cosmo­logical” and metalogical. (shrink)

What makes something a part of my body, for moral purposes? Is the body defined naturalistically: by biological relations, or psychological relations, or some combination of the two? This paper approaches this question by considering a borderline case: the status of prostheses. I argue that extant accounts of the body fail to capture prostheses as genuine body parts. Nor, however, do they provide plausible grounds for excluding prostheses, without excluding some paradigm organic parts in the process. I conclude by suggesting (...) that embodiment is moralized all the way down: to be a body part is to be the sort of thing that ought to be protected, in a certain way, by social practices. (shrink)

In this paper I develop an account of member obligation: the obligations that fall on the members of an obligated collective in virtue of that collective obligation. I use this account to argue that unorganized collections of individuals can constitute obligated agents. I argue first that, to know when a collective obligation entails obligations on that collective’s members, we have to know not just what it would take for each member to do their part in satisfying the collective obligation, but (...) also what they should do if they cannot do their part because others will not do theirs. I go on to argue (contra recent proposals) that it is not good enough for members in this situation to reasonably believe that others will not do their part. Rather, for a member of an obligated collective to permissibly escape doing her part in a collective obligation, she must both reasonably doubt that others will do their part and stand ready to act in case others do as well. -/- This necessary condition for collective obligation points the way to plausible sufficient conditions – conditions that, I argue, allow unstructured collectives to bear obligations. For (a) if a collective’s members are individually obligated to be ready to do their part, in a given collective action, and (b) if that individual readiness makes it sufficiently likely that the collective will in fact act, then it is hard to see what could block an attribution of collective obligation. In particular, in that case there ought to be no additional objection that there is no existing, organized “agent” on which the obligation might fall. For agents are, simply, things that can act. To be able to act is just to be able to succeed by trying. Unstructured collectives try to do something, I argue, when each member acts on their willingness to do their part in that thing if others do theirs; sometimes they succeed, producing a collective action. Some unstructured collectives, therefore, can succeed by trying; therefore, they can act; therefore they are agents. (shrink)

Disconnecting a patient from artificial life support, on their request, is often if not always a matter of letting them die, not killing them—and sometimes, permissibly doing so. Stopping a patient’s heart on request, by contrast, is a kind of killing, and rarely if ever a permissible one. The difference seems to be that procedures of the first kind remove an unwanted external support for bodily functioning, rather than intervening in the body itself. What should we say, however, about cases (...) at the boundary—procedures involving items that seem bodily in some respects, but not others? When, for instance, does deactivating an implanted device like a pacemaker count as killing, and when as letting die? Contra existing proposals, I argue that the boundaries of the body for this purpose are not drawn at the boundaries of the self, or (if this is different) the human organism. Nor should we determine when we are killing and when we are letting die by deferring to existing practices for distinguishing ongoing from completed treatment. Rather, I argue that whether something (organic or inorganic) counts as body part for purposes of this distinction depends on the results of a normative analysis of the particular character of our rights in it—particularly, whether and in what way these rights ought to be alienable. I conclude by arguing that there are likely good reasons to recognize distinctively “bodily” rights and restrictions in at least some implantable devices. (shrink)

A person’s body can, it seems, survive well after losing the capacity to support Lockean personhood. If our rights in our bodies are, basically, rights in our selves or persons, this seems to imply that we do not after all have a right to direct the disposition of our living remains via advance directive. Govind Persad argues that our rights over our bodies persist after the loss of our personhood; we have a right to insist that our bodies die after (...) we are gone for much the same reason that we have a right to decide whether or not to donate organs, after our death. Persad’s conclusion may be right; however, his arguments regarding body rights are insufficient. Persad’s suggestion that our rights in our bodies come from a history of acting and sensing through them cannot, quite, be right, since we act and sense through tools, as well. Nor should we accept Persad’s arguments, from intuitions in cases involving posthumous pregnancy, that our posthumous body rights are powerful enough to allow choices that will result in the death of beings that need our living remains to survive. Problems with these intuitions point to a more general concern for this sort of case-based intuitionistic method: it presupposes that what body rights we have is a matter of ‘natural right’, accessible to all, rather than a function of how social institutions do or should resolve conflicts about the proper way of defining our authority over our bodies. (shrink)

This article asks whether personal ventilators should be redistributed to maximize lives saved in emergency condition, like the COVID-19 pandemic. It begins by examining extant claims that items like ventilators are literally parts of their user’s bodies. Arguments in favor of incorporation for ventilators fail to show that they meet valid sufficient conditions to be body parts, but arguments against incorporation also fail to show that they fail to meet clearly valid necessary conditions. Further progress on this issue awaits clarification (...) of difficult normative, conceptual, and metaphysical questions about the possible boundaries of a person’s body. Rather than relying solely on incorporation arguments, we propose an argument against reallocation from widely accepted anti-discrimination principles. Possession of a personal ventilator is an obvious marker of disability identity; thus, reallocating ventilators from those that already possess them discriminates on the basis of a stigmatized trait – a paradigm case of presumptively wrongful discrimination. This discrimination claim, taken together with uncertainty about the bodily status of ventilators, yields a strong presumption against personal ventilator reallocation. (shrink)

Many powerful logics exist today for reasoning about multi-agent systems, but in most of these it is hard to reason about an infinite or indeterminate number of agents. Also the naming schemes used in the logics often lack expressiveness to name agents in an intuitive way.To obtain a more expressive language for multi-agent reasoning and a better naming scheme for agents, we introduce a family of logics called term-modal logics. A main feature of our logics is the use of modal (...) operators indexed by the terms of the logics. Thus, one can quantify over variables occurring in modal operators. In term-modal logics agents can be represented by terms, and knowledge of agents is expressed with formulas within the scope of modal operators. (shrink)

Technological measures meant to change sexual orientation are, we have argued elsewhere, deeply alarming, even and indeed especially if they are safe and effective. Here we point out that this in part because they produce a distinctive kind of ‘clinical collective action problem’, a sort of dilemma for individual clinicians and researchers: a treatment which evidently relieves the suffering of particular patients, but in the process contributes to a practice that substantially worsens the conditions that produce this suffering in the (...) first place. We argue that the role obligations of clinicians to relieve the suffering of their patients put them in a poor position to solve this problem, though they can take measures to avoid complicity in the harms that would result from widespread use of individually safe and effective reorientation biotechnology. But in the end the medical community as a whole still seems obligated to provide these measures, if they become technologically feasible. Medical researchers are in a better position to prevent the harms that would result if reorientation techniques were safe, effective and widely available. We argue that the harms attendant on the development of safe and effective re-orientation techniques give researchers reason to avoid ‘applied‘ research aimed at developing these techniques, and to be careful in the conduct of basic orientation research which might be applied in this way. (shrink)

This chapter argues that standard accounts of health are ill-suited to constructing a plausible theory of health justice, particularly a sufficientarian theory. The problem in these accounts is revealed by their treatment of disability. Theorists of health justice need to define “health” more narrowly to capture the legitimate claims of people with disabilities. Following Ronald Amundson and Peter Hucklenbroich, this chapter proposes such a definition. Health, as defined in this chapter, is the absence of conditions that directly cause, or threaten (...) to directly cause, certain kinds of bodily harm, such as pain and premature death. It is concluded that on a plausible sufficientarian theory of health justice, a society that achieves health justice is one that ensures that none of its members face too much of those kinds of bodily harm. (shrink)

Soviet work and family kollektives were the substance of official public life in Soviet Russia. Beginning in the late 1950s, gradually from both private and privatized official settings and differentiating from them, the informal public sphere emerged-the sphere of social practices, regulated by the unwritten codes of everyday moral economy.

The social model of disability claims that disadvantage from disability is primarily a result of the social response to bodily difference. Social modellers typically draw two normative conclusions: first, that society has a responsibility to address disability disadvantage as a matter of justice, not charity; second, that the appropriate way of addressing this disadvantage is to change social institutions themselves, to better fit for bodily difference, rather than to normalize bodies to fit existing institutions. This paper offers a qualified defense (...) of both inferences. Social institutions have reasons of justice to fix disability disadvantage, because the choice of institutions that contingently favor those whose bodies are statistically typical incurs responsibilities to compensate those who disfavored, in that choice. Among other things, this responsibility implies that societies should not simultaneously materially disadvantage disabled people, and also withhold symbolic resources, by demanding a presumption in favor of personal transformation – thereby, undermining the social conditions for disability pride. (shrink)

This paper argues that disabled people can be healthy. I argue, first, following the well-known ‘social model of disability’, that we should prefer a usage of ‘disabled’ which does not imply any kind of impairment that is essentially inconsistent with health. This is because one can be disabled only because limited by false social perception of impairment and one can be, if impaired, disabled not because of the impairment but rather only because of the social response to it. Second, I (...) argue that it is often wrong to use the term ‘healthy’ in a way that makes health inconsistent with any degree whatsoever of health-relevant bodily dysfunction. Whether someone is ‘healthy’ properly-so-called depends on standards of health presupposed in conversational context. Sometimes, I argue, these standards are or ought to be lax enough to allow some people with some health deficits still to count as ‘healthy’ per se. Taking inspiration from David Lewis and Mary Kate Mcgowan, I go on to argue that denying that someone is ‘healthy’ in a context typically succeeds in shifting going presuppositions to require standards strict enough to make that denial acceptable. And this, I conclude by arguing, often constitutes an abuse of conversational power. (shrink)

In some views, philosophy’s glory days in bioethics are over. While philosophers were especially important in the early days of the field, so the argument goes, the majority of the work in bioethics today involves the “simple” application of existing philosophical principles or concepts, as well as empirical work in bioethics. Here, we address this view head on and ask: What is the role of philosophy in bioethics today? This paper has three specific aims: (1) to respond to skeptics and (...) make the case that philosophy and philosophers still have a very important and meaningful role to play in contemporary bioethics, (2) to discuss some of the current challenges to the meaningful integration of philosophy and bioethics, and (3) to make suggestions for what needs to happen in order for the two fields to stay richly connected. We outline how bioethics center directors, funders, and philosopher bioethicists can help. (shrink)

This paper examines the moral import of a distinction between natural and social inequalities. Following Thomas Nagel, it argues for a “denatured” distinction that relies less on the biological vs. social causation of inequalities than on the idea that society is morally responsible for some inequalities but not others. It maintains that securing fair equality of opportunity by eliminating such social inequalities has particularly high priority in distributive justice. Departing from Nagel, it argues that society can be responsible for inequalities (...) not only when they are the unintended result of justifiable projects, but even when their alleviation would be very costly. Sharing Nagel’s general concept of ‘social inequality’, then, this paper proposes a far more expansive conception. We argue that many disadvantages due to disability fall under this conception. Eliminating or alleviating those disadvantages should be regarded as securing fair equality of opportunity, not improving the condition of the worst-off. (shrink)

In The Minority Body, Elizabeth Barnes rejects prevailing social constructionist accounts of disability for two reasons. First, because they understand disability in terms of oppressive social responses to bodily impairment, they cannot make sense of disability pride. Second, they maintain a problematic distinction between impairment and disability. In response to these challenges, this paper defends a version of the social model of disability, which we call the Social Exclusion Model. On our account, to be disabled is to be in a (...) bodily or psychological state that is represented as an impairment in the prevailing ideology of one’s society, and to be excluded from valuable activities on the basis of this representation. While this model refers to a distinction between disability and impairment, it makes no presuppositions about which bodies function ‘normally’ and which do not. It is the ideology of impairment rather than impairment itself that does any work to determine whether a person is disabled. We argue that this model answers some of the important objections that Barnes raises against prevailing social constructionist accounts of disability, and that it’s focus on the oppressive social positioning of disabled people gives it explanatory power that Barnes’s own account lacks. (shrink)

This paper critically engages ethical issues in the allocation of novel, and potentially costly, health care resources to patients with disorders of consciousness. First, we review potential benefits of novel health care resources for patients and their families and outline preliminary considerations to address concerns about cost. We then address two problems regarding the allocation of health care resources to patients with disorders of consciousness: (1) the problem of uncertain moral status; and (2) the problem of accurately measuring the welfare (...) burdens these resources would relieve. We conclude by suggesting that opportunity-based frameworks might complement standard approaches for justifying resources allocation to patients with disorders of consciousness. (shrink)

This paper argues for Serious Distributive Egalitarianism – the view that some material inequalities are seriously objectionable as such; not merely, say, because such inequalities tend to generate inequalities in status. Social justice requires equality, I argue, because basic social institutions produce important goods and are produced in turn by the relevantly equal contributions of all those that comply with them. E.g., basic social institutions make it much easier to produce cooperatively than it would be in their absence; therefore, these (...) institutions produce, among other things, opportunities to participate in particular productive enterprises. But basic social institutions are themselves produced, in large part, by the compliance of those subject to them; these subjects, therefore, contribute to the production of the goods that basic institutions produce. This gives (at least) every compliant subject of basic social institutions a claim on these goods. And, I argue that, though some do contribute more to the maintenance of basic institutions than others, those who contribute more are too responsible for the fact that others contribute less to point to the consequences of this difference as a reason they should get greater returns. I conclude that all subjects of basic social institutions have equally forceful and forcefully equal claims on the goods these institutions produce; claims that render inequalities in the Distribution of these goods Seriously objectionable as such. (shrink)